3221. t. 1. Armi� a︡nskai� a︡ rukopisnai� a︡ kniga VI-XIV vekov20
پدیدآورنده : [sostaviteli i avtory teksta V.O. Kazari� a︡n, S.S. Manuki� a︡n].
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3222. t. 1. Vie et oeuvre -- t. 2. Ce qu'il faut aux bons croyants = Kifâyat ar-râġibîn -- t. 3. Réduction au
پدیدآورنده : par Ravane Mbaye ; préface, Iba Der Thiam.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3223. 11th Chaotic Modeling and Simulation International Conference /
پدیدآورنده : Christos H. Skiadas, Ihor Lubashevsky, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chaotic behavior in systems-- Mathematical models, Congresses.,Chaotic behavior in systems-- Mathematical models.
رده :
Q172
.
5
.
C45
C4265
2018
3224. 8th International Conference on Automated Deduction :
پدیدآورنده : edited by Jörg H. Siekmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.
3225. 14th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2019) :
پدیدآورنده : Francisco Martínez Álvarez, [and 4 others], editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
رده :
Q334
.
S63
2019
3226. 4th ed., new impressi
پدیدآورنده : 20090530
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3227. xi, 306 p. :
پدیدآورنده : Asra Q. Nomani.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3229. xiv, 237 p. :
پدیدآورنده : Chris Johnson & Jolyon Leslie.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3230. xviii, 5,Intern
پدیدآورنده : Carl F. Goodman. ,Jung Wook Cho.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3231. xxvii, 666, [42] p. :
پدیدآورنده : Michael R. Czinkota, Ilkka A. Ronkainen.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
3232. 25 years of model checkin
پدیدآورنده : / Orna Grumberg, Helmut Veith (eds.)
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computer systems--Verification
رده :
QA
,
76
.
76
,.
V47
,
A15
,
2008eb